Decidability of relation algebras with weakened associativity
نویسندگان
چکیده
منابع مشابه
Decidability of Relation Algebras with Weakened Associativity
Tarski showed that mathematics can be built up in the equational theory EqRA of relation algebras (RA's), hence EqRA is undecidable. He raised the problem "how much associativity of relation composition is needed for this result." Maddux defined the classes NA 3 WA "J SA D RA by gradually weakening the associativity of relation composition, and he proved that the equational theory of SA is stil...
متن کاملOn Associativity of Graded Algebras
Necessary and sufficient conditions are given to guarantee associativity of algebras and co-algebras. As main application, it is discussed the associativity of the tensor algebra T (V ) of a free module V over any commutative ring R. 1. Review of basic definitions Recall that a vector space A, or more generally a (free) module over a commutative ring R is an R-algebra if a multiplication map mA...
متن کاملDistributivity and associativity in effect algebras
We prove “large associativity” of the partial sum in effect algebras and present an overview of distributivity-like properties of partial operations ⊕ and in effect algebras with respect to (possibly infinite) suprema and infima and vice versa generalizing several previous results.
متن کاملamenability of banach algebras
chapters 1 and 2 establish the basic theory of amenability of topological groups and amenability of banach algebras. also we prove that. if g is a topological group, then r (wluc (g)) (resp. r (luc (g))) if and only if there exists a mean m on wluc (g) (resp. luc (g)) such that for every wluc (g) (resp. every luc (g)) and every element d of a dense subset d od g, m (r)m (f) holds. chapter 3 inv...
15 صفحه اولazerbaijans political development after the collapse of soviet union and implication on relation with the islamic republic of iran
در فصل اول این پایاین نامه در خصوص تاریخ کشور اذربایجان قبل و بعد از جدایی این کشور از ایران مورد بررسی قرار گرفته است ودر فصل دوم تحولات سیاسی این کشور بعد از 1991 و در واقع بعد از فروپاشی شوروی و دولتهایی که روی کار امدند در از جمله دولت ابولفضل ایلچی بیگ،دولت حیدر علی اف وبعد از او پسرش الهام علی اف و نگرش هرکدام از این دولتها به سیاسیت خارجی اذربایجان مورد اشاره قرار گرفته است.در ودر فصل سو...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1987
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1987-0884476-5